extension of modules

模的扩张